Metamodel-Compliance Checking of Requirements in a Semiformal Representation

نویسندگان

  • Hermann Kaindl
  • Stefan Kramer
  • Mario Hailing
  • Vahan Harput
چکیده

Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or less the only means, formal representations allow for a variety of automated checks. Unfortunately, formal representations of requirements are rarely available in real-world projects. Semiformal representations are easier to obtain and still offer some possibilities for automated checks. Based on an object-oriented hypertext representation, we present an implemented approach for compliance checks against a metamodel.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Metamodeling for Requirements Reuse

Correct requirements determination is a critical factor in software development as it takes resources and it is an error prone activity which can bring tragic consequences to the rest of the software life cycle. Having stored reusable requirements elements, both qualified and classified, in a repository might contribute to taking advantage of software development resources and to reducing the e...

متن کامل

A logic-based representation and tree-based visualization method for building regulatory requirements

Background: Many research and development efforts have been made for automated compliance checking of building designs with regulatory requirements, but there is a lack of a non-proprietary and user-understandable representation of building regulations to support automated compliance checking in the construction domain that is experimentally tested for understandability and reading speed. Metho...

متن کامل

Event-Driven System Requirements

In this paper, we demonstrate how model checking can be used to verify safety properties for event-driven systems. SCR tabular requirements describe required system behavior in a format that is intuitive, easy to read, and scalable to large systems (e.g., the software requhements for the A7 aircraft). Model checking of temporal logics has been established as a sound technique for verifying prop...

متن کامل

Business Modeling via Commitments

Existing computer science approaches to business modeling offer lowlevel abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns suc...

متن کامل

Tool support for a metamodeling approach for reasoning about requirements

In the Software Engineering practice, software requirements are one of the earliest artifacts describing a system. Without requirements we cannot verify the quality of a delivered software product. Requirements are mostly textual descriptions. Traceability is considered essential to manage consistency between software development artifacts. Many research focused on the relation between requirem...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003